(Antoine de Saint-Exupéry, “L’Avion”, Ch. III)
نویسندگان
چکیده
Deadlock immunity is a property by which programs, once afflicted by a given deadlock, develop resistance against future occurrences of that and similar deadlocks. We describe a technique that enables programs to automatically gain such immunity without assistance from programmers or users. We implemented the technique for both Java and POSIX threads and evaluated it with several real systems, including MySQL, JBoss, SQLite, Apache ActiveMQ, Limewire, and Java JDK. The results demonstrate effectiveness against real deadlock bugs, while incurring modest performance overhead and scaling to 1024 threads. We therefore conclude that deadlock immunity offers programmers and users an attractive tool for coping with elusive deadlocks.
منابع مشابه
Cytochrome P450 2C9 (CYP2C9) and vitamin K epoxide reductase (VKORC1) genotypes as determinants of acenocoumarol sensitivity Running title: pharmacogenetics of oral anticoagulant
1 INSERM, UMRS 490; University René Descartes, Paris, F-75270 France. 2 Assistance Publique Hôpitaux de Paris; Pharmacology Department, Bicêtre University Hospital, University Paris-Sud, Le Kremlin Bicêtre, France. 3 Assistance Publique Hôpitaux de Paris; Pharmacology Department, Saint Antoine University Hospital University Pierre et Marie Curie Paris 6, Paris, France. 4 INSERM, U525, Faculté d...
متن کاملSolitary fibrous tumor of the greater omentum.
a Department of Radiology, Hôpital Saint Antoine, 184, rue du Faubourg-Saint-Antoine, 75012 Paris, France b Department of Anatomic Pathology, Hôpital Saint Antoine, 184, rue du Faubourg-Saint-Antoine, 75012 Paris, France c Department of Gastroenterology, Hôpital Saint Antoine, 184, rue du Faubourg-Saint-Antoine, 75012 Paris, France d Department of Visceral Surgery, Hôpital Saint Antoine, 184, r...
متن کاملBack Pain in HIV-Infected Patients May Be Due to Spinal Epidural Lipomatosis
Antoine Moulignier1, Matthieu Lafaurie2, Julien Savatovsky3, Marie-Laure Dubreuil-Lemaire4 and Cédric Lamirel5 1Service de Neurologie, Fondation Adolphe de Rothschild, 75019 Paris, France 2Service des Maladies Infectieuses et Tropicales, AP-HP, Hôpital Saint Louis, 75010 Paris, France 3Service d’Imagerie Médicale, Fondation Adolphe de Rothschild, 75019 Paris, France 4Unité d’Evaluation et de Tr...
متن کاملReply to "Letter to the editor: Comments on 'Value and determinants of the mean systemic filling pressure in critically ill patients'".
Xavier Repessé and Antoine Vieillard-Baron Section Thorax-Vascular Disease-Abdomen-Metabolism, Intensive Care Unit, Assistance Publique-Hôpitaux de Paris, University Hospital Ambroise Paré, Boulogne-Billancourt, France; Faculty of Medicine Paris Ile-de-France Ouest, University of Versailles Saint-Quentin en Yvelines, Saint-Quentin en Yvelines, France; and Renal and Cardiovascular Epidemiology, ...
متن کاملCLINICAL TRIALS AND OBSERVATIONS Higher incidence of relapse in patients with acute myelocytic leukemia infused with higher doses of CD34 cells from leukapheresis products autografted during the first remission
1Department of Hematology, Hôpital Saint Antoine, Paris, France; 2Acute Leukemia Working Party, European Cooperative Group for Blood and Marrow Transplantation, Faculté de Médecine St-Antoine Université Pierre et Marie Curie Paris 6 and Unité Mixte de Recherche (UMR) 893, Paris, France; 3Centre Hospitalier Universitaire Bordeaux Hôpital Haut-Leveque, Pessac, France; 4Unité de transplantation et...
متن کامل